calculus AST